1,964 research outputs found

    Functional programming and graph algorithms

    Get PDF
    This thesis is an investigation of graph algorithms in the non-strict purely functional language Haskell. Emphasis is placed on the importance of achieving an asymptotic complexity as good as with conventional languages. This is achieved by using the monadic model for including actions on the state. Work on the monadic model was carried out at Glasgow University by Wadler, Peyton Jones, and Launchbury in the early nineties and has opened up many diverse application areas. One area is the ability to express data structures that require sharing. Although graphs are not presented in this style, data structures that graph algorithms use are expressed in this style. Several examples of stateful algorithms are given including union/find for disjoint sets, and the linear time sort binsort. The graph algorithms presented are not new, but are traditional algorithms recast in a functional setting. Examples include strongly connected components, biconnected components, Kruskal's minimum cost spanning tree, and Dijkstra's shortest paths. The presentation is lucid giving more insight than usual. The functional setting allows for complete calculational style correctness proofs - which is demonstrated with many examples. The benefits of using a functional language for expressing graph algorithms are quantified by looking at the issues of execution times, asymptotic complexity, correctness, and clarity, in comparison with traditional approaches. The intention is to be as objective as possible, pointing out both the weaknesses and the strengths of using a functional language

    Design of the iLocater Acquisition Camera Demonstration System

    Full text link
    Existing planet-finding spectrometers are limited by systematic errors that result from their seeing-limited design. Of particular concern is the use of multi-mode fibers (MMFs), which introduce modal noise and accept significant amounts of background radiation from the sky. We present the design of a single-mode fiber-based acquisition camera for a diffraction-limited spectrometer named "iLocater." By using the "extreme" adaptive optics (AO) system of the Large Binocular Telescope (LBT), iLocater will overcome the limitations that prevent Doppler instruments from reaching their full potential, allowing precise radial velocity (RV) measurements of terrestrial planets around nearby bright stars. The instrument presented in this paper, which we refer to as the acquisition camera "demonstration system," will measure on-sky single-mode fiber (SMF) coupling efficiency using one of the 8.4m primaries of the LBT in fall 2015

    Reducing Poverty in California…Permanently

    Get PDF
    If California were to seriously commit to equalizing opportunity and reducing poverty, how might that commitment best be realized? This is of course a hypothetical question, as there is no evidence that California is poised to make such a serious commitment, nor have many other states gone much beyond the usual lip-service proclamations. There are many reasons for California’s complacency, but an important one is that most people think that poverty is intractable and that viable solutions to it simply don’t exist. When Californians know what needs to be done, they tend to go forward and get it done. When, for example, the state’s roads are in disrepair, there are rarely paralyzing debates about exactly how to go about fixing them; instead we proceed with the needed repairs as soon as the funds to do so are appropriated. The same type of sure and certain prescription might appear to be unavailable when it comes to reducing poverty. It is hard not to be overwhelmed by the cacophony of voices yielding a thick stream of narrow-gauge interventions, new evaluations, and piecemeal proposals.1 Although the research literature on poverty is indeed large and may seem confusing, recent advances have in fact been so fundamental that it is now possible to develop a science-based response to poverty. In the past, the causes of poverty were not well understood, and major interventions, such as the War on Poverty, had to be built more on hunch than science. It is an altogether different matter now. The causes of poverty are well established, and the effects of many possible policy responses to poverty are likewise well established. The simple purpose of this essay is to assemble these advances into a coherent plan that would, if implemented, reduce poverty in California substantially

    Climate change accelerates range expansion of the invasive non-native species, the Pacific oyster, Crassostrea gigas.

    Get PDF
    Invasive non-native species and global warming are two of the greatest components of global ecosystem change. The Pacific oyster, Crassostrea gigas, is the world most cultivated shellfish and was introduced throughout the Northwest European Shelf (NWES) under the premise it could not complete its life cycle. Recent warming trends have changed this and wild populations can be found as far north as Nordic Scandinavia. Under the RCP8.5 concentration pathway, we predict that the majority of NWES coastline will be within C. gigas’s thermal recruitment niche by 2100. Given the widespread occurrence of current naturalized C. gigas populations, its large larval dispersal potential and a lack of feasible management solutions, C. gigas will likely undergo a considerable range expansion this century. The time taken to reach maturity is predicted to decrease by up to 60 days, which may lead to precocious spawning events, facilitating expansion further. Crassostrea gigas can form extensive reefs completely transforming native systems. This may compromise native biodiversity, protected habitats, and commercial species. However, naturalization can also deliver a number of beneficial ecosystem goods and services to human society. Whether naturalization is deemed positive or negative will depend on biogeographic context, the perceptions of stakeholders, and the wider management priorities
    • …
    corecore